- erfüllbare Klauselmenge
- прил.
электр. выполнимое множество дизъюнктов, непротиворечивое множество дизъюнктов
Универсальный немецко-русский словарь. Академик.ру. 2011.
erfüllbare Klauselmenge
Смотреть что такое "erfüllbare Klauselmenge" в других словарях:
Davis-Putnam-Algorithmus — Das Davis Putnam Verfahren (nach Martin Davis und Hilary Putnam) entscheidet über die Unerfüllbarkeit einer aussagenlogischen Formel in Konjunktiver Normalform. Das Verfahren sollte nicht mit der Weiterentwicklung, dem DPLL (Davis Putnam Logemann … Deutsch Wikipedia
Davis-Putnam-Verfahren — Das Davis Putnam Verfahren (nach Martin Davis und Hilary Putnam) entscheidet über die Unerfüllbarkeit einer aussagenlogischen Formel in Konjunktiver Normalform. Das Verfahren sollte nicht mit der Weiterentwicklung, dem DPLL (Davis Putnam Logemann … Deutsch Wikipedia
